Formal development of multi-agent systems using MAZE
نویسندگان
چکیده
منابع مشابه
Multi-Agent Maze Exploration
Mazes have intrigued the human mind for thousands of years, and have been used to measure mental abilities of laboratory animals. In recent years mazes have been used to measure the artificial intelligence of robots by examining their ability to traverse mazes using maze exploration and solution algorithms. We use a simulation of a multi-agent system and show that it is beneficial to use a grou...
متن کاملCompositional Formal Specification of Multi-Agent Systems
In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge required for an agent we formally define a general multi-agent system. Moreover, a specific type of agent with various capabilities of reasoning and acting is given. Some essential patter...
متن کاملTest Cases Generation for Multi-Agent Systems Using Formal Specification
The importance of verifying the accuracy and reliability of software has been universally recognized. Concerning multi-agent systems very few research works have been undertaken in order to provide developers with valuable tools supporting testing activities. Moreover these works are still at very early stage. Actually formal methodologies give validation tests that are however applicable in ve...
متن کاملVoltage Coordination of FACTS Devices in Power Systems Using RL-Based Multi-Agent Systems
This paper describes how multi-agent system technology can be used as the underpinning platform for voltage control in power systems. In this study, some FACTS (flexible AC transmission systems) devices are properly designed to coordinate their decisions and actions in order to provide a coordinated secondary voltage control mechanism based on multi-agent theory. Each device here is modeled as ...
متن کاملFormal Development of Reactive Agent-Based Systems
Recent advances in both the testing and verification of software based on formal specifications have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modelling technique used; the careful design of the model to enable powerful testin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2016
ISSN: 0167-6423
DOI: 10.1016/j.scico.2016.04.008